SEI/UTFPR - 2533341 - Relatório

Ministério da Educação

UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ

UTFPR - CAMPUS FRANCISCO BELTRAO
DIRETORIA-GERAL - CAMPUS FRANCISCO BELTRÃO
DIR. DE GRAD.E EDUCACAO PROFISSIONAL -FB
SECRETARIA DE GESTAO ACADEMICA - FB
DEPARTAMENTO DE REGISTROS ACADEMICOS -FB

plano de ensino

Código Ofertado	Disciplina/Unidade Curricular	Modo de Avaliação	Modalidade da disciplina	Oferta
LM31L	Logica Matemática	Nota/Conceito E Frequência	Presencial	Semestral

Carga Horária

APS

ANP

APCC

Total

AT: Atividades Teóricas (aulas semanais).
AP: Atividades Práticas (aulas semanais).
ANP: Atividades não presenciais (horas no período).
APS: Atividades Práticas Supervisionadas (aulas no período).
APCC: Atividades Práticas como Componente Curricular (aulas no período, esta carga horária está incluída em AP e AT).
Total: carga horária total da disciplina em horas.

Objetivo

Levar o licenciando a compreender os princípios deste ramo da matemática, o qual fornece elementos que fundamentam os processos de construção da matemática como ciência, possibilitando avanços tecnológicos e o desenvolvimento da inteligência artificial. Compreender e valorizar as demonstrações, o rigor matemático, bem como os princípios que possibilitaram aplicação de formas de pensamento matemático na criação de algumas tecnologias. Enfim, promover a capacidade de raciocínio lógico e abstrato como preparação e treinamento para a representação e resolução de problemas, bem como para o desenvolvimento de algoritmos computacionais eficientes.

Ementa

Sistematização da lógica matemática. Estruturação do cálculo proposicional. Operações lógicas fundamentais. Relações de equivalência e de implicação Lógica. Álgebra proposicional. Teoria da argumentação e análise inferencial no cálculo proposicional. Cálculo dos predicados. Quantificação. Funções proposicionais quantificadas.

Conteúdo Programático

Ordem	Ementa	Conteúdo
1	Sistematização da lógica matemática	Identificar o que é uma proposição válida. Apresentar a classificação dos conectivos da lógica proposicional: negação, conjunção, disjunção, condicional e bicondicional. Construir fórmulas bem formadas. Aplicar os conceitos apresentados para construir sentenças e proposições lógicas válidas. Apresentar as operações lógicas sobre proposições.
2	Estruturação do cálculo proposicional.	Construir tabelas-verdade para proposições lógicas compostas. Descrever os conceitos de tautologia, contradição e contingência, ou seja, classificar as proposições compostas. Demonstrar a validade lógica de proposições compostas através da construção de tabelas-verdade. Resolver problemas de lógica proposicional através da construção de tabelas-verdade.
3	Operações lógicas fundamentais. Relações de equivalência e de implicação Lógica.	Discutir os conceitos de consequência e equivalência lógicas. Identificar mediante tabelas-verdade se duas proposições compostas são equivalentes. Identificar mediante tabelas-verdade a existência de uma relação de implicação entre duas proposições.
4	Álgebra proposicional.	Listar as propriedades dos operadores lógicos de conjunção e disjunção. Resolver expressões algébricas do cálculo proposicional
5	Argumento e regras de inferência.	Descrever o que é um argumento válido. Verificar a validade de argumentos mediante a construção de tabelas-verdade. Identificar as regras de inferência a partir da observação de proposições lógicas.
6	Teoria da argumentação e análise inferencial no cálculo proposicional.	Explicar o conceito de teorema. Deduzir a consequência lógica de um conjunto de proposições através das regras de inferência. Discutir os conceitos de prova direta, prova condicional e prova por absurdo. Aplicar as regras de inferência lógica para demonstrar teoremas.
7	Cálculo dos predicados. Quantifcação.	Apresentar os conceitos: termo e predicado, função proposicional, quantificadores, formalização do cálculo de predicados e equivalência entre os quantificadores
8	Funções proposicionais quantificadas.	Apresentar conceitos para se provar argumentos que envolvam funções proposicionais quantificadas.

Bibliografia Básica

SOUZA, João Nunes de. Lógica para ciência da computação: uma introdução concisa. 2. ed. Rio de Janeiro, RJ: Elsevier, 2008. 220 p. (Campus. Sociedade Brasileira de Computação). ISBN 9788535229615.
BISPO, Carlos Alberto Ferreira; CASTANHEIRA, Luiz Batista; SOUZA FILHO, Oswaldo Melo. Introdução à lógica matemática. São Paulo: Cengage Learning, c2012. xiii, 135 p. ISBN 9788522111268.
DAGHLIAN, Jacob. Lógica e álgebra de Boole. 4. ed. São Paulo, SP: Atlas, c1995. 167 p. ISBN 8522412561.

Bibliografia Complementar

CHAUÍ, Marilena de Sousa. Convite à filosofia. 14. ed. São Paulo, SP: Ática, 2011. 520 p. ISBN 9788508134694.
ALENCAR FILHO, Edgard de. Iniciação à lógica matemática. São Paulo, SP: Nobel, c1975. 203 p. ISBN 852130403X.
KELLER, Vicente; BASTOS, Cleverson Leite. Aprendendo lógica. 19. ed. Petropolis, RJ: Vozes, 2011. 228 p. ISBN 9788532606556.
MADRIGAL, J. H. Lógica de Enunciados: Alguns Aspectos Básicos. Instituto Politécnico Nacional. 1995. (Em: http://site.ebrary.com/lib/utfpr/). Disponível em: http://site.ebrary.com/lib/utfpr/detail.action?docID=10436659&p00=Logica+de+enunciados%3A+alguns+aspectos+basicos
GONZÁLEZ E. G.; GARCIA R. L. Fundamentos de Matemáticas y Lógica. Instituto Politécnico Nacional. 2010. (Em: http://site.ebrary.com/lib/utfpr/). Disponível em: http://site.ebrary.com/lib/utfpr/detail.action?docID=10378509&p00=fundamentos+de+matem%C3%A1ticas+y+l%C3%B3gica.

#	Resumo da Alteração	Edição	Data	Aprovação	Data
1	Primeira versão.	Maici Duarte Leite	23/11/2017	Maici Duarte Leite	23/11/2017
2	Versão atual.	Gustavo Yuji Sato	04/12/2017	Maici Duarte Leite	04/12/2017
3	versão atual.	Gustavo Yuji Sato	04/12/2017	Maici Duarte Leite	04/12/2017
4	Correção do campo ementa	Gustavo Yuji Sato	19/02/2018	Gustavo Yuji Sato	20/02/2018
5	Nada modificado	Gustavo Yuji Sato	20/02/2018	Gustavo Yuji Sato	20/02/2018

Documento assinado eletronicamente por (Document electronically signed by) WILIAN RODRIGO GALEAZZI, TECNICO EM ASSUNTOS EDUCACIONAIS, em (at) 10/02/2022, às 17:02, conforme horário oficial de Brasília (according to official Brasilia-Brazil time), com fundamento no (with legal based on) art. 4º, § 3º, do Decreto nº 10.543, de 13 de novembro de 2020.

A autenticidade deste documento pode ser conferida no site (The authenticity of this document can be checked on the website) https://sei.utfpr.edu.br/sei/controlador_externo.php?acao=documento_conferir&id_orgao_acesso_externo=0, informando o código verificador (informing the verification code) 2533341 e o código CRC (and the CRC code) E49725F3.

Referência: Processo nº 23064.004158/2022-23

SEI nº 2533341